Paul A. Strooper: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

A method for verifying concurrent Java components based on an analysis of concurrency failures

Brad Long, Paul Strooper, Luke Wildman

Journal:

Concurrency and Computation: Practice and Experience

Year:

2007

Language:

english

File:

PDF, 204 KB

english, 2007

2

ClassBench: a Framework for Automated Class Testing

DANIEL HOFFMAN, PAUL STROOPER

Journal:

Software: Practice and Experience

Year:

1997

Language:

english

File:

PDF, 183 KB

english, 1997

3

10.1038/19083

De Strooper, Bart, Kopan, Raphael, Annaert, Wim, Cupers, Philippe, Saftig, Paul, Craessaerts, Katleen, Mumm, Jeffrey S., Schroeter, Eric H., Schrijvers, Vincent, Wolfe, Michael S., Ray, William J., Go

Journal:

Year:

1999

Language:

english

File:

PDF, 543 KB

english, 1999

4

Boundary values and automated component testing

Daniel Hoffman, Paul Strooper, Lee White

Journal:

Software Testing, Verification and Reliability

Year:

1999

Language:

english

File:

PDF, 191 KB

english, 1999

5

Grammar-based test generation with YouGen

Daniel Malcolm Hoffman, David Ly-Gagnon, Paul Strooper, Hong-Yi Wang

Journal:

Software: Practice and Experience

Year:

2011

Language:

english

File:

PDF, 735 KB

english, 2011

6

The World of Dementia Beyond 2020

Henry Brodaty, Monique M. B. Breteler, Steven T. DeKosky, Pascale Dorenlot, Laura Fratiglioni, Christoph Hock, Paul-Ariel Kenigsberg, Philip Scheltens, Bart De Strooper

Journal:

Journal of the American Geriatrics Society

Year:

2011

Language:

english

File:

PDF, 76 KB

english, 2011

7

A model-based development approach for the verification of real-time Java code

Niusha Hakimi Pour, Paul Strooper, Andy Wellings

Journal:

Concurrency and Computation: Practice and Experience

Year:

2011

Language:

english

File:

PDF, 1.17 MB

english, 2011

8

[IEEE 2015 24th Australasian Software Engineering Conference (ASWEC) - Adelaide, SA, Australia (2015.9.28-2015.10.1)] 2015 24th Australasian Software Engineering Conference - Automation of Test Case Generation from Behavior Tree Requirements Models

Lindsay, Peter A., Kromodimoeljo, Sentot, Strooper, Paul A., Almorsy, Mohamed

Year:

2015

Language:

english

File:

PDF, 1.04 MB

english, 2015

9

Two case studies in grammar-based test generation

Daniel Hoffman, Hong-Yi Wang, Mitch Chang, David Ly-Gagnon, Lewis Sobotkiewicz, Paul Strooper

Journal:

Journal of Systems and Software

Year:

2010

Language:

english

File:

PDF, 1.18 MB

english, 2010

10

An industry/university collaboration to upgrade software engineering knowledge and skills in industry

David Carrington, Paul Strooper, Sharron Newby, Terry Stevenson

Journal:

Journal of Systems and Software

Year:

2005

Language:

english

File:

PDF, 298 KB

english, 2005

11

API documentation with executable examples

Daniel Hoffman, Paul Strooper

Journal:

Journal of Systems and Software

Year:

2003

Language:

english

File:

PDF, 436 KB

english, 2003

12

[IEEE 2012 19th Asia-Pacific Software Engineering Conference (APSEC) - Hong Kong, China (2012.12.4-2012.12.7)] 2012 19th Asia-Pacific Software Engineering Conference - Exploring an Approach to Model-Based Testing from Behavior Trees

Hakimipour, Niusha, Strooper, Paul

Year:

2012

Language:

english

File:

PDF, 4.63 MB

english, 2012

13

Gene profiling of hippocampal neuronal culture

Michal Dabrowski, Stein Aerts, Paul Van Hummelen, Katleen Craessaerts, Bart De Moor, Wim Annaert, Yves Moreau, Bart De Strooper

Journal:

Journal of Neurochemistry

Year:

2003

Language:

english

File:

PDF, 314 KB

english, 2003

14

An Automated Approach for the Interpretation of Counter-Examples

Lionel van den Berg, Paul Strooper, Wendy Johnston

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 306 KB

english, 2007

15

[IEEE 2007 Australian Software Engineering Conference (ASWEC'07) - Melbourne, Australia (2007.04.10-2007.04.13)] 2007 Australian Software Engineering Conference (ASWEC'07) - Improving Usability of Software Refactoring Tools

Mealy, Erica, Carrington, David, Strooper, Paul, Wyeth, Peta

Year:

2007

Language:

english

File:

PDF, 728 KB

english, 2007

16

[ACM Press the 2006 ACM/IEEE international symposium - Rio de Janeiro, Brazil (2006.09.21-2006.09.22)] Proceedings of the 2006 ACM/IEEE international symposium on International symposium on empirical software engineering - ISESE '06 - Maximising the information gained from an experimental analysis of code inspection and static analysis for concurrent java components

Wojcicki, Margaret A., Strooper, Paul

Year:

2006

Language:

english

File:

PDF, 283 KB

english, 2006

17

P4-305 Identification and characterization of novel cleavage-defective presenilin-1 mutants

Nishimura, Masaki, Nakaya, Yoshifumi, Yamane, Takuya, Wang, Hua-Qin, Shiraishi, Hirohisa, Komano, Hiroto, Matsubara, Etsuro, Shoji, Mikio, De Strooper, Bart, Fraser, Paul, St George-Hyslop, Peter

Journal:

Neurobiology of Aging

Year:

2004

Language:

english

File:

PDF, 154 KB

english, 2004

18

[IEEE 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007) - Auckland, New Zealand (2007.07.11-2007.07.14)] 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007) - Selecting V&V Technology Combinations: How to Pick a Winner?

Strooper, Paul, Wojcicki, Margaret A.

Year:

2007

Language:

english

File:

PDF, 192 KB

english, 2007

19

A framework and tool support for the systematic testing of model-based specifications

Miller, Tim, Strooper, Paul

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

2003

Language:

english

File:

PDF, 378 KB

english, 2003

20

A FRAMEWORK FOR STATISTICAL TESTING OF SOFTWARE COMPONENTS

SHUKLA, RAKESH, STROOPER, PAUL, CARRINGTON, DAVID

Journal:

International Journal of Software Engineering and Knowledge Engineering

Year:

2007

Language:

english

File:

PDF, 444 KB

english, 2007

21

[ACM Press Proceeding of the 2006 workshop - Portland, Maine, USA (2006.07.17-2006.07.17)] Proceeding of the 2006 workshop on Parallel and distributed systems: testing and debugging - PADTAD '06 - A state-of-practice questionnaire on verification and validation for concurrent programs

Wojcicki, Margaret A., Strooper, Paul

Year:

2006

Language:

english

File:

PDF, 315 KB

english, 2006

22

Cell-Matrix Interaction via CD44 Is Independently Regulated by Different Metalloproteinases Activated in Response to Extracellular Ca2+Influx and PKC Activation

Osamu Nagano, Daizo Murakami, Dieter Hartmann, Bart de Strooper, Paul Saftig, Takeshi Iwatsubo, Motowo Nakajima, Masanori Shinohara and Hideyuki Saya

Journal:

The Journal of Cell Biology

Year:

2004

Language:

english

File:

PDF, 2.99 MB

english, 2004

23

P2-084 BACE1 and BACE2 deficient mice

Diana I. Dominguez, Jos U. Tournoy, Dieter Hartmann, Karina Reiss, Paul Saftig, Bart de Strooper

Journal:

Neurobiology of Aging

Year:

2004

Language:

english

File:

PDF, 318 KB

english, 2004

24

Discovering inequality conditions in the analytic solution of optimization problems

Bruce W. Char, Alan R. Macnaughton, Paul A. Strooper

Journal:

Journal of Automated Reasoning

Year:

1989

Language:

english

File:

PDF, 1.12 MB

english, 1989

25

[ACM Press Proceeding of the 28th international conference - Shanghai, China (2006.05.20-2006.05.28)] Proceeding of the 28th international conference on Software engineering - ICSE '06 - Testing concurrent java components

Strooper, Paul, Wildman, Luke

Year:

2006

Language:

english

File:

PDF, 33 KB

english, 2006

26

Presenilin 1 Mediates the Turnover of Telencephalin in Hippocampal Neurons via an Autophagic Degradative Pathway

Cary Esselens, Viola Oorschot, Veerle Baert, Tim Raemaekers, Kurt Spittaels, Lutgarde Serneels, Hui Zheng, Paul Saftig, Bart De Strooper, Judith Klumperman and Wim Annaert

Journal:

The Journal of Cell Biology

Year:

2004

Language:

english

File:

PDF, 4.94 MB

english, 2004

27

[IEEE 2014 International Conference on Information, Communication Technology and System (ICTS) - Surabaya, Indonesia (2014.9.24-2014.9.24)] Proceedings of International Conference on Information, Communication Technology and System (ICTS) 2014 - A model-driven approach to developing and testing web applications

Year:

2014

Language:

english

File:

PDF, 85 KB

english, 2014

28

[IEEE 2009 16th Asia-Pacific Software Engineering Conference (APSEC) - Batu Ferringhi, Penang, Malaysia (2009.12.1-2009.12.3)] 2009 16th Asia-Pacific Software Engineering Conference - Selecting Usability Evaluation Methods for Software Process Descriptions

Mahrin, Mohd Naz'ri, Strooper, Paul, Carrington, David

Year:

2009

Language:

english

File:

PDF, 259 KB

english, 2009

29

Presenilin 1 Controls γ-Secretase Processing of Amyloid Precursor Protein in Pre-Golgi Compartments of Hippocampal Neurons

Wim G. Annaert, Lyne Levesque, Kathleen Craessaerts, Inge Dierinck, Greet Snellings, David Westaway, Peter St. George-Hyslop, Barbara Cordell, Paul Fraser and Bart de Strooper

Journal:

The Journal of Cell Biology

Year:

1999

Language:

english

File:

PDF, 6.44 MB

english, 1999

30

The Swedish APP mutation alters the effect of genetically reduced BACE1 expression on the APP processing

Sabine Rabe, Julia Reichwald, Domenico Ammaturo, Bart de Strooper, Paul Saftig, Ulf Neumann, Matthias Staufenbiel

Journal:

Journal of Neurochemistry

Year:

2011

Language:

english

File:

PDF, 272 KB

english, 2011

31

[IEEE Fifth International Workshop on Software Quality (WoSQ'07: ICSE Workshops 2007) - Minneapolis, MN, USA (2007.05.20-2007.05.26)] Fifth International Workshop on Software Quality (WoSQ'07: ICSE Workshops 2007) - An Iterative Empirical Strategy for the Systematic Selection of a Combination of Verification and Validation Technologies

Wojcicki, Margaret A., Strooper, Paul

Year:

2007

Language:

english

File:

PDF, 200 KB

english, 2007

32

[IEEE 2009 Testing: Academic and Industrial Conference - Practice and Research Techniques - Windsor, United Kingdom (2009.09.4-2009.09.6)] 2009 Testing: Academic and Industrial Conference - Practice and Research Techniques - Test Generation with Context Free Grammars and Covering Arrays

Hoffman, Daniel, Sobotkiewicz, Lewis, Wang, Hong-Yi, Strooper, Paul, Bazdell, Gary, Stevens, Brett

Year:

2009

Language:

english

File:

PDF, 149 KB

english, 2009

33

ADAM10 cleavage of N-cadherin and regulation of cell–cell adhesion and β-catenin nuclear signalling

Reiss, Karina, Maretzky, Thorsten, Ludwig, Andreas, Tousseyn, Thomas, de Strooper, Bart, Hartmann, Dieter, Saftig, Paul

Journal:

The EMBO Journal

Year:

2005

Language:

english

File:

PDF, 38 KB

english, 2005

34

P4-172 Shedding of the ADAM10 ectodomain is mediated by ADAM9 and is followed by a processing of the ADAM10 CTF by presenilin/gamma-secretase

Tousseyn, Thomas A., Blobel, Carl, Serneels, Lutgarde, Nyabi, Omar, Snellinx, An, Maes, Elke, Sciot, Raf, Saftig, Paul, Strooper, Bart De, Hartmann, Dieter

Journal:

Neurobiology of Aging

Year:

2004

Language:

english

File:

PDF, 155 KB

english, 2004

35

Implication of APP secretases in notch signaling

Dieter Hartmann, Jos Tournoy, Paul Saftig, Wim Annaert, Bart De Strooper

Journal:

Journal of Molecular Neuroscience

Year:

2001

Language:

english

File:

PDF, 160 KB

english, 2001

36

A refinement calculus for logic programs

HAYES, IAN, COLVIN, ROBERT, HEMER, DAVID, STROOPER, PAUL, NICKSON, RAY

Journal:

Theory and Practice of Logic Programming

Year:

2002

Language:

english

File:

PDF, 351 KB

english, 2002

37

A framework for table driven testing of Java classes

Nigel Daley, Daniel Hoffman, Paul Strooper

Journal:

Software: Practice and Experience

Year:

2002

Language:

english

File:

PDF, 237 KB

english, 2002

38

Maximising the information gained from a study of static analysis technologies for concurrent software

Margaret A. Wojcicki, Paul Strooper

Journal:

Empirical Software Engineering

Year:

2007

Language:

english

File:

PDF, 595 KB

english, 2007

39

Developmental Expression of Wild-Type and Mutant Presenilin-1 in Hippocampal Neurons from Transgenic Mice: Evidence for Novel Species-Specific Properties of Human Presenilin-1

Lévesque, Lyne, Annaert, Willem, Craessaerts, Katleen, Mathews, Paul M., Seeger, Mary, Nixon, Ralph A., Van Leuven, Fred, Gandy, Sam, Westaway, David, St George-Hyslop, Peter, De Strooper, Bart, Frase

Journal:

Molecular Medicine

Year:

1999

Language:

english

File:

PDF, 3.11 MB

english, 1999

40

No endogenous Aβ production in presenilin-deficient fibroblasts

Nyabi, Omar, Pype, Stefan, Mercken, Marc, Herreman, An, Saftig, Paul, Craessaerts, Katleen, Serneels, Lutgarde, Annaert, Wim, De Strooper, Bart

Journal:

Nature Cell Biology

Year:

2002

Language:

english

File:

PDF, 157 KB

english, 2002

41

P4-313 Presenilin-1 induces NF-κB activation via a RIP-P62-APKC signaling cascade

Powell, James C., Elzinga, Baukje M., Hsu, Shu-Chi, Diaz-Meco, Maria T., Kirschenbaum, Ford, Saftig, Paul, De Strooper, Bart, Moscat, Jorge, Cordell, Barbara, McCarthy, Justin V.

Journal:

Neurobiology of Aging

Year:

2004

Language:

english

File:

PDF, 164 KB

english, 2004

42

10.1038/34910

De Strooper, Bart, Saftig, Paul, Craessaerts, Katleen, Vanderstichele, Hugo, Guhde, Gundula, Annaert, Wim, Von Figura, Kurt, Van Leuven, Fred

Journal:

Year:

1998

Language:

english

File:

PDF, 382 KB

english, 1998

43

ADAM10 cleavage of N-cadherin and regulation of cell–cell adhesion and β-catenin nuclear signalling

Reiss, Karina, Maretzky, Thorsten, Ludwig, Andreas, Tousseyn, Thomas, de Strooper, Bart, Hartmann, Dieter, Saftig, Paul

Journal:

The EMBO Journal

Year:

2005

Language:

english

File:

PDF, 311 KB

english, 2005

44

Presenilin-1 deficiency leads to loss of Cajal–Retzius neurons and cortical dysplasia similar to human type 2 lissencephaly

Dieter Hartmann, Bart De Strooper, Paul Saftig

Journal:

Current Biology

Year:

1999

Language:

english

File:

PDF, 272 KB

english, 1999

45

Presenilin Function in APP Processing

WIM ANNAERT, PHILIPPE CUPERS, PAUL SAFTIG, BART DE STROOPER

Journal:

Annals of the New York Academy of Sciences

Year:

2000

Language:

english

File:

PDF, 242 KB

english, 2000

46

Autosomal-dominant Alzheimer's disease: a review and proposal for the prevention of Alzheimer's disease

Randall J Bateman,Paul S Aisen,Bart De Strooper…

Journal:

Alzheimer's Research & Therapy

Year:

2011

Language:

english

File:

PDF, 2.82 MB

english, 2011

47

Challenges in practice

Dranidis, Dimitris, Masticola, Stephen P., Strooper, Paul

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2009

Language:

english

File:

PDF, 282 KB

english, 2009

48

Lack of a-disintegrin-and-metalloproteinase ADAM10 leads to intracellular accumulation and loss of shedding of the cellular prion proteinin vivo

Hermann C Altmeppen, Johannes Prox, Berta Puig, Mark A Kluth, Christian Bernreuther, Dana Thurm, Ellen Jorissen, Bettina Petrowitz, Udo Bartsch, Bart De Strooper, Paul Saftig, Markus Glatzel

Journal:

Molecular Neurodegeneration

Year:

2011

Language:

english

File:

PDF, 4.17 MB

english, 2011

49

[IEEE 2007 Australian Software Engineering Conference (ASWEC'07) - Melbourne, Australia (2007.04.10-2007.04.13)] 2007 Australian Software Engineering Conference (ASWEC'07) - Comparing the Cost-Effectiveness of Statically Analysing and Model Checking Concurrent Java Components for Deadlocks

Ngui, John, Strooper, Paul, Wildman, Luke, Wojcicki, Margaret

Year:

2007

Language:

english

File:

PDF, 236 KB

english, 2007

50

P2-121 In vivo consequences of BACE1 and BACE2 deficiency

Jos Tournoy, Diana Dominguez, Dieter Hartmann, Karina Reiss, Paul Saftig, Bart De Strooper

Journal:

Neurobiology of Aging

Year:

2004

Language:

english

File:

PDF, 163 KB

english, 2004

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски